Semcheck: Spec-Driven Development Using LLMs
labs.rejot.dev·15h·
Discuss: Hacker News
⚡Proof Automation
CRYSTALS - The Gently Introduction
dev.to·1d·
Discuss: DEV
⚗️Algebraic Coding
The Baby Paradox in Haskell
blog.jle.im·1d·
Discuss: Lobsters, Hacker News
🔲Proof Irrelevance
Dangerous things should be difficult to do by accident
fexpr.blogspot.com·1d
✨Effect Handlers
R-ConstraintBench: Evaluating LLMs on NP-Complete Scheduling
arxiv.org·1d
🧮SMT Solvers
Scheme Basics
courses.cs.washington.edu·18h·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
HigherOrderCO/HVM3
github.com·5h
🔗Functional Compilers
AI Code Generation: Trust and Verify, Always
thenewstack.io·16h
⚙️Proof Engineering
Improvements to OCaml code editing: the basics of a refactor engine
tarides.com·2d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Zero Context Exhaustion: Building Production-Ready AI Coding Teams with Claude Code Sub-agents
dev.to·5h·
Discuss: DEV
✨Effect Handlers
Get Back To WARP
binary.ninja·13h
🧪Binary Fuzzing
Ergonomic errors in Rust: write fast, debug with ease, handle precisely
gmcgoldr.github.io·13h·
Discuss: Hacker News
⚡Dependent Rust
Cracking the Density Code: Why MAF Flows Where KDE Stalls
towardsdatascience.com·13h
🔗Tailscale
AI in open source: fighting bias in AI analysis
rainer.gerhards.net·1d·
Discuss: Hacker News
🔍Concolic Testing
how to decide on the sequence of computable numbers
academia.edu·2d·
Discuss: Hacker News, r/programming
🎞️Tape Combinatorics
Go Beyond Viper and Cobra: Declarative Field-Driven Configuration for Go Apps
dev.to·4h·
Discuss: DEV
📋Format Specification
Making Impossible States Impossible: Type-Safe Domain Modeling with Functional Dependency Injection
cekrem.github.io·4d·
Discuss: Lobsters, Hacker News, r/programming, r/webdev
💧Liquid Types
Learning Through Doing: From one language to another
blog.scottlogic.com·1d
🦀Rust Borrowing
Saleae Analyzer for the BDM protocol
zetier.com·2d
🔬Binary Analysis
Comprehensive MCP Security Checklist: Protecting Your AI-Powered Infrastructure
lab.wallarm.com·1d
🛡️CLI Security